#ifndef __OS_CPU_H
#define __OS_CPU_H

#include <stdint.h>

extern void     os_setPendSV_PRI(void);
extern void     os_taskSwitch(void);
extern uint32_t vTaskEnterCritical(void);
extern void     vTaskExitCritical(uint32_t primask);

extern void     SystickInit(uint32_t ms);


#endif /* __OS_CPU_H*/
